alethentics

Вычислительная техника: алетевтика (область семиотики, исследующая проблемы истинности)